La Réciproque d’un Théorème de Kikuchi

Sélection de la structure d'un perceptron multicouches pour la réduction dun modèle de simulation d'une scierie

Résumé— La simulation est souvent utilisée pour évaluer la pertinence d’un Programme Directeur de Production (PDP) ou pour en évaluer l’impact sur des scénarii d’ordonnancement détaillés de la fabrication. Dans ce cadre, nous nous proposons de réduire la complexité d’un modèle de simulation en exploitant un perceptron multicouches. Une phase primordiale lors de la modélisation d’un système à l’...

Une preuve formelle et intuitionniste du théorème de complétude de la logique classique

Il est bien connu que la correspondance de Curry-Howard permet d’associer un programme, sous la forme d’un λ-terme, à toute preuve intuitionniste, formalisée dans le calcul des prédicats du second ordre (voir, par exemple [3]). Cette correspondance a été étendue, assez récemment, à la logique classique moyennant une extension convenable du λ-calcul (voir [1,4,5,6]). Chaque théorème formalisé en...

Kikuchi-Fujimoto disease* Doença de Kikuchi-Fujimoto

Kikuchi-Fujimoto disease is characterized by fever and lymphadenopathy, usually localized in the cervical region. This disease principally affects young females. It can be confused with lymphoma, adenocarcinoma metastasis and tuberculosis. We report two cases of KikuchiFujimoto disease. In the first case, a 28-year-old female had been treated for tuberculosis one year prior and presented with a...

Etude sur la digestion pancratique de la caseine pour la production de la toxine tetanique

Description de Hyalomma dromedarii (Koch 1844) Morphologie de la larve et de la nymphe